int b(int a) {
  asm("addl $16, $31, $0");
}